Definitions | x:A. B(x), es-E(es), es-dtype(es; i; x; T), es-after(es; x; e), es-initially(es; i; x), l_all(L; T; x.P(x)), (e sends on l with tag tg), P   Q, P Q, es-when(es; x; e), b, es-isrcv(es; e), es-tag(es; e), P  Q, x:A. B(x), (x l), P Q, A, s = t, IdLnk, es-lnk(es; e), <a, b>, A c B, es-vartype(es; i; x), loc(e), @e(x v), Id, es-sender(es; e), mkid{$x:ut2} |